机译:关于并行化和优化通信协议的实现
机译:核查临床试验中缺失数据的EMA指南实施的实证评价:研究协议中纵向数据的混合模型规范
机译:可证明正确的Spi Calculus安全协议规范的Java实现
机译:使用SDL在嵌入式微控制器系统上规范,模拟和实现高级OSI数据链接协议
机译:SDL中通用信令传输协议的规范和验证。
机译:多个微发酵罐电池:一种多功能工具可与产生重组蛋白的微生物的自动化平行培养一起使用并且可优化培养方案
机译:优化并行协议实现的形式化和算法
机译:计算机通信传输协议的规范。第7卷。测试OsI协议 - 论文汇编。第8卷.ICsT传输协议实施测试系统用户指南。第9卷。实施ICsT传输协议的测试套件。第10卷。用于实施ICsT传输协议的远程场景解释器的规范